Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
251	AF T Chapter 5 Programming with Dependent Types Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-09-10 12:37:20 Software engineering Computer programming Programming language theory Functional languages Procedural programming languages Subroutines Data types C++ ATS ALGOL 68 ML C++ classes
252	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
253	CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type intintint, whe Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-11 23:17:39 Software engineering Programming language theory Computer programming Procedural programming languages Functional languages C ALGOL 68 INT ML Ordinal date Struct Higher-order function
254	The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-04 08:31:13 Software Computer programming Functional languages OCaml Package manager Arch Linux Deb Go Caml R Coq
255	Daniel Zwell 245 La Pala Dr. #21, San Jose, CAcell: http://zwell.net Objective Add to Reading List Source URL: zwell.net Language: English - Date: 2009-06-01 16:48:37 Software Computer programming Git Non-functional requirement Perforce
256	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:09:56 Software engineering Computer programming Recursion Subroutines Control flow Computability theory Theoretical computer science Functional programming Tail call Continuation Factorial
257	Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-02-14 20:56:25 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur
258	02157 Functional Programming - Collections: Sets and Maps Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:36:17 Mathematics Mathematical logic Abstraction Set Technical University of Denmark Function Category of sets
259	Rust typeclasses turn trait-er ! Lindsey Kuper Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2015-09-06 03:13:02 Software engineering Computing Computer programming Functional languages Type theory Concurrent programming languages Mozilla Rust Type class Trait Haskell
260	Microsoft PowerPoint - Ppt0000001.ppt [Read-Only] Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:47 Software engineering Computer programming Computing Functional languages Haskell Literate programming Language Integrated Query Entry point Object-oriented programming languages F Sharp C Sharp syntax

UPDATE